<?php
$sl = strlen(...);
